Incremental Fault-Tolerant Design in an Object-Oriented Setting

نویسندگان

  • Einar Broch Johnsen
  • Olaf Owe
  • Ellen Munthe-Kaas
  • Jüri Vain
چکیده

With the increasing emphasis on dependability in complex, distributed systems, it is essential that system development can be done gradually and at different levels of detail. In this paper we propose an incremental treatment of faults as a refinement process on object-oriented system specifications. An intolerant system specification is a natural abstraction from which a fault-tolerant system can evolve. With each refinement step a fault and its treatment are introduced, so the fault-tolerance of the system increases during

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Reflective Object-Oriented Architecture for Developing Fault-Tolerant Software

This paper proposes a reflective object-oriented architecture for developing fault-tolerant software. Reflective object-oriented programming promotes a modular structuring of systems by means of a new dimension of modularization—the separation between baselevel objects and meta-level objects. This property allows the creation of metaobjects responsible for managing tasks of application objects ...

متن کامل

Experimental Evaluation of Fault-Tolerant Mechanisms for Object-Oriented Software

This paper describes the implementation of reusable fault-tolerant mechanisms in C++ (an object-oriented language) and Open C++ (a reflective version of C++) that support the realization of dependable software systems. The target environment for the experiment is a distributed system consisting of multiple SPARC workstations connected through TCP/IP. Testing based on software fault injection is...

متن کامل

Fault Tolerant Reversible QCA Design using TMR and Fault Detecting by a Comparator Circuit

Quantum-dot Cellular Automata (QCA) is an emerging and promising technology that provides significant improvements over CMOS. Recently QCA has been advocated as an applicant for implementing reversible circuits. However QCA, like other Nanotechnologies, suffers from a high fault rate. The main purpose of this paper is to develop a fault tolerant model of QCA circuits by redundancy in hardware a...

متن کامل

The Design of Real-Time Distributed information Systems with Object-Oriented and Fault-Tolerant Characteristics

For real-time distributed information systems (RT-DIS), a high degree of reliability, availability and safety is usually required. In this paper, we rst discuss the major features that a design methodology for RTDIS should possess. A survey of current design approaches is then given. The G-Net methodology for the design of RTDIS with object oriented and fault tolerance characteristics is presen...

متن کامل

Design of an Active Approach for Detection, Estimation and Short-Circuit Stator Fault Tolerant Control in Induction Motors

Three phase induction motors have many applications in industries. Consequently, detecting and estimating the fault and compensate it in a way that the faulty induction motor satisfies the predefined goals are important issues. One of the most common faults in induction motors is the short circuit of the stator winding. In this paper, an active fault-tolerant control system is designed and pres...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2001